targeted mutation 1.2, Gernot Walter MGI:5287362 Ppp2r1a<tm1.2Wltr> http://identifiers.org/mgd/MGI:5287362 PP2A-A-alpha-delta5-6 Null/knockout